Nuprl Definition : p-restrict
11,40
postcript
pdf
p-restrict(
f
;
p
) ==
f
o p-filter(
p
)
latex
Definitions
f
o
g
,
p-filter(
f
)
FDL editor aliases
p-restrict
origin